Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
701	SOLVING THE SATISFIABILITY PROBLEM USING MESSAGE-PASSING TECHNIQUES S. J. Pumphrey, May[removed]Part III Physics Project Report) A Bayesian message-passing technique, the sum-product algorithm, is described and applied to Add to Reading List Source URL: www.inference.phy.cam.ac.uk Language: English - Date: 2001-06-07 06:04:05 Constraint programming Probability theory Boolean satisfiability problem Electronic design automation Logic in computer science Local search Bayesian inference Algorithm Conjunctive normal form Mathematics Theoretical computer science Applied mathematics
702	Marijn J.H. Heule December 21, 2014 Personal Information Name: Born: Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-12-21 16:31:34 Logic in computer science Boolean algebra Constraint programming Electronic design automation Formal methods Boolean satisfiability problem Maximum satisfiability problem Satisfiability Solver Theoretical computer science Mathematics Applied mathematics
703	EagleUP: Solving Random 3-SAT using SLS with Unit Propagation Oliver Gableske1 and Marijn Heule2 1 2 Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2011-09-26 11:40:37 Logic programming Conjunctive normal form Local search Boolean satisfiability problem DPLL algorithm Theoretical computer science Constraint programming Declarative programming
704	A CP/LNS approach for Multi-day Homecare Scheduling Problems Luca Di Gaspero1 , Tommaso Urli1 DIEGM – University of Udine Via Delle Scienze, [removed]Udine, Italy {luca.digaspero\|tommaso.urli}@uniud.it Add to Reading List Source URL: www.tunnuz.net Language: English - Date: 2014-09-12 00:58:22 Constraint programming Caregiver Decomposition method
705	Constraint-based approaches for Balancing Bike Sharing Systems Luca Di Gaspero1 , Andrea Rendl2 , and Tommaso Urli1 1 Scheduling and Timetabling Group, Department of Electrical, Management and Mechanical Engineering, Add to Reading List Source URL: www.tunnuz.net Language: English - Date: 2014-09-12 00:58:21 Computing Ant colony optimization algorithms Decomposition method FO Bicycle sharing system Local search Bicycle Constraint programming Software engineering Computer programming
706	Making Bound Consistency as Effective as Arc Consistency∗ Christian Bessiere LIRMM-CNRS U. Montpellier, France [removed] Add to Reading List Source URL: www.lirmm.fr Language: English - Date: 2009-04-14 16:30:51 Constraint programming Local consistency Candidate key
707	Dr. Manuel Bodirsky Curriculum Vitae Born December 30, 1976, in Freiburg im Breisgau, Germany. German citizenship. Married with Michaela Metzger, three children: Lewin Bodirsky, born April 25, 2006. Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-02-07 06:50:56 Software engineering Constraint satisfaction Complexity of constraint satisfaction Local consistency Mathematical optimization Spatial–temporal reasoning Combinatorial optimization Linear programming Logic programming Constraint programming Theoretical computer science Applied mathematics
708	Erratum Constraint Networks Christophe lecoutre ISTE/Wiley December 8, 2011 Add to Reading List Source URL: www.cril.univ-artois.fr Language: English - Date: 2011-12-08 03:06:30 Mathematics Applied mathematics FO Graph Constraint logic programming Constraint programming Theoretical computer science Local consistency
709	DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs Nathan Wetzler, Marijn J. H. Heule, and Warren A. Hunt, Jr. ? Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-04-02 18:01:43 Automated theorem proving Formal methods NP-complete problems Constraint programming Logic in computer science True quantified Boolean formula Resolution Satisfiability Modulo Theories Unsatisfiable core Theoretical computer science Mathematics Logic
710	Hybrid CP+LNS for the Curriculum-Based Course Timetabling Problem Tommaso Urli Dept. of Electrical, Management and Mechanical Engineering University of Udine, Via Delle Scienze, [removed]Udine, Italy tommaso.urli@uniu Add to Reading List Source URL: www.tunnuz.net Language: English - Date: 2014-09-12 00:58:22 Local search Constraint programming Hybrid algorithm Local consistency

UPDATE